\relax 
\citation{PV:VRK+04}
\citation{PV:DK03}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}ILP-based Scheme for Timing Variation-aware Scheduling and Resource Binding}{16}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chapter:ILP}{{2}{16}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Introduction}{17}}
\citation{hls:chau94}
\citation{hls:shiue00}
\citation{hls:Tosun05}
\citation{PV:borkar05-micro}
\citation{hls:weilun06}
\citation{HLS:Jung07}
\citation{timing:smo90}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Related Work}{18}}
\newlabel{sec:C2-related}{{2.2}{18}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Timing Variation-Aware High-Level\\ Synthesis}{19}}
\newlabel{sec:C2-problem}{{2.3}{19}}
\citation{hls:weilun06}
\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces A demonstration of timing yield of resource units.}}{20}}
\newlabel{fig:yield}{{2.1}{20}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.1}Yield Aware Resource Partitioning}{20}}
\newlabel{subsec:partition}{{2.3.1}{20}}
\newlabel{eq:yield0}{{2.1}{20}}
\citation{hls:weilun06}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.2}Calculation of Overall Timing Yield}{21}}
\newlabel{subsec:sharing}{{2.3.2}{21}}
\newlabel{eq:yield1}{{2.2}{21}}
\newlabel{eq:yield2}{{2.3}{22}}
\@writefile{lot}{\contentsline {table}{\numberline {2.1}{\ignorespaces The constants and variables used in our ILP formulation}}{23}}
\newlabel{table:ILPformulation}{{2.1}{23}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}ILP Formulation with Timing Yield\\ Constraint}{23}}
\newlabel{sec:algorithm}{{2.4}{23}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}Problem Definition}{23}}
\citation{hls:Tosun05}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.2}ILP Formulation}{24}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.2.1}Basic ILP Framework}{24}}
\newlabel{eq:unique}{{2.4}{24}}
\newlabel{eq:start}{{2.5}{24}}
\newlabel{eq:dura}{{2.6}{24}}
\newlabel{eq:dependent}{{2.7}{24}}
\newlabel{eq:concurrent}{{2.8}{25}}
\newlabel{eq:optype}{{2.9}{25}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.2.2}Timing Yield Constraints and Objective Functions}{25}}
\newlabel{subsubsec:constraints}{{2.4.2.2}{25}}
\newlabel{eq:yieldconstraint}{{2.10}{25}}
\citation{hls:weilun06}
\citation{xpress-book}
\newlabel{eq:alternate}{{2.11}{26}}
\newlabel{eq:mindelay}{{2.12}{26}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}Experimental Results}{26}}
\newlabel{sec:analysis}{{2.5}{26}}
\@writefile{lot}{\contentsline {table}{\numberline {2.2}{\ignorespaces Resource library with timing yield information}}{26}}
\newlabel{table:reslib}{{2.2}{26}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces Scheduled results for DES by worst-case based HLS (a) and variation aware HLS (b).}}{27}}
\newlabel{fig:cdfg}{{2.2}{27}}
\@writefile{lot}{\contentsline {table}{\numberline {2.3}{\ignorespaces Latency reduction with different timing yield constraint. a)DES b)EWF}}{28}}
\newlabel{table:result1}{{2.3}{28}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.3}{\ignorespaces Latency reductions under different yield points for all benchmarks}}{29}}
\newlabel{fig:benchmark}{{2.3}{29}}
\@writefile{toc}{\contentsline {section}{\numberline {2.6}Summary}{29}}
\@setckpt{Chapter-2/Chapter-2}{
\setcounter{page}{31}
\setcounter{equation}{12}
\setcounter{enumi}{3}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{2}
\setcounter{section}{6}
\setcounter{subsection}{0}
\setcounter{subsubsection}{2}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{3}
\setcounter{table}{3}
\setcounter{lofdepth}{1}
\setcounter{lotdepth}{1}
\setcounter{parentequation}{0}
\setcounter{codelinenumber}{0}
\setcounter{indent}{0}
\setcounter{thisindent}{0}
}
